Alain Gengler's international records