Résultats en direct de Anthony Sinisuka Ginting contre Anders Antonsen le 15/10 dans le tournoi Denmark Open, Singles