Category:East German male high jumpers