Hasil langsung Jesper de Jong vs Tomas Machac pada 17/06 di turnamen ATP Halle, Germany Men Singles