. "West German high jumper" . . . . .