Live-Ergebnisse Anders Antonsen gegen Jonatan Christie am 28/09 beim Korea Open, Singles