In Which File Format Can The Admin/Group Leader Download The Recorded Audio?

The default file format for audio recordings is set to .mp3. When downloading an audio assignment, Admins and Group Leaders will get a .mp3 file.