Category:West Germany at UEFA Euro 1980