Germany’s third World Cup