Live Results of Anders Antonsen vs Dicky Dwi Pangestu on 17/08 in the World Championships, Singles tournament