L'Allemagne éliminée de la Coupe du monde malgré sa victoire contre le Costa Rica