Istvan Timar's international records