Did you know that Hungarian István Major held the high jump record at the European Indoor Championships from 1972 to 1977?