Matej Buben's international records