Special:PageHistory/West Germany national football team