Category:East German female high jumpers