Michael Roll's international records