17/06、ATP Halle, Germany Men Singlesでの Pedro Martinez 対 Tomas Martin Etcheverry のライブ結果