Spiel beendet (Weltmeisterschaft) am 01.12.2022. Unten: Aufstellungen, Statistik und direkter Vergleich zwischen Costa Rica und Deutschland.