Translation of "High-jump" in German