(Sometimes football history gets mixed up with “real” history; the defeat of a superior Dutch team by Germany in the World Cup final of 1974 also needed to be redressed.)
Histoire : la défaite de l'équipe hollandaise devant l'Allemagne lors de la Coupe du monde 1974 (alors que son équipe était nettement meilleure) était aussi vengée.