Tobias Christensen's international records