Wyniki na żywo Jesper de Jong vs Tomas Machac w dniu 17/06 w turnieju ATP Halle, Germany Men Singles