Live Results of Anthony Sinisuka Ginting vs Anders Antonsen on 15/10 in the Denmark Open, Singles tournament