Tippspiel WM 2022 3. Gruppenspiel: Deutschland - Costa Rica