Category:West Germany at the 1982 FIFA World Cup