Category:West Germany at the 1988 Olympic football tournament