https://www.dict.cc/englisch-deutsch/high+jump+record+holder.html