Halfdan Doennem's international records