Marian Lehotsky's international records