German forward Thomas Mueller extended an impressive national record in Tuesday's World Cup semifinal win over Brazil, becoming the fifth German to score double-digit goals in his World Cup career.
Remarkably, Brazil—who took a 7-1 drubbing at the hands of Germany on Tuesday—are the only other country with even two players who have scored 10 goals on the game's biggest stage, per ESPN's Paul Carr.
The names come as no surprise, as El Selecao legends Pele (12 goals) and Ronaldo (15) both accomplished the rare feat.
Only 13 players have ever scored 10 career World Cup goals, with eight countries represented. France's Just Fontaine scored 13 times, setting the standard among players not from Brazil or Germany.
The legendary Frenchman is followed on the exclusive list by Hungary's Sandor Kocsis (11), Argentina's Gabriel Batistuta (10), England's Gary Lineker (10), Peru's Teofilo Cubillas (10) and Poland's Grzegorz Lato (10).
As for Germany, the other double-digit goalscorers are Miroslav Klose (16), Gerd Muller (14), Jurgen Klinsmann (11) and Helmut Rahn (10).
Klose is now the all-time leading scorer in the World Cup, having passed Ronaldo with a 23rd-minute goal in Tuesday's semifinal.
Given that Mueller already has 10 World Cup goals at the age of 24, he may one day challenge Klose for the record.
While both Germans are unquestionably fine players, neither is held in the same regard as the likes of Pele, Ronaldo or Gerd Mueller.
Klose and Thomas Mueller's success makes it quite clear that reaching double-digit goals is as much of a team accomplishment as a personal one, a point that probably isn't lost on Portugal legend Eusebio, who scored nine goals in just one World Cup appearance (1966).