17/06、ATP Halle, Germany Men Singlesでの Jesper de Jong 対 Tomas Machac のライブ結果