Live-Ergebnisse Anthony Sinisuka Ginting gegen Anders Antonsen am 15/10 beim Denmark Open, Singles