Anders Nymo's international records