"1958 FIFA World Cup"@en .