Category:West German male high jumpers