Hasil langsung Adrien Rassenfosse vs Ricardo Walther pada 19/05 di turnamen World Championships, MS