Después de las victorias contra Checoslovaquia (1-0) e Inglaterra (1-1 tras la prórroga, 4-3 en los penaltis), fue proclamado campeón del mundo, habiendo ganado contra Argentina 1-0 en la final.