Manchester City gegen Real Madrid 17/05/2023 Spielergebnis, Statistik, Bericht