Risultati in diretta di Anthony Sinisuka Ginting vs Anders Antonsen il 15/10 nel torneo Denmark Open, Singles