Ζωντανά αποτελέσματα Anthony Sinisuka Ginting εναντίον Anders Antonsen στις 15/10 στο τουρνουά Denmark Open, Singles