Mio Mandt's international records