Espen Mägi's international records