Category:West German female high jumpers