Tommy Paul – Holger Rune: punteggio in diretta e commenti