Resultados ao vivo de Jesper de Jong vs Tomas Machac em 17/06 no torneio ATP Halle, Germany Men Singles