Coupe du monde : L'Allemagne tape le Costa Rica pour du beurre et loupe les huitièmes