Hochspringer (hochspringen + -er; agent_person)
Sportler, der die Disziplin Hochsprung betreibt