Die mp3-Dateien wurden in eine zip-Datei umgewandelt, um sie herunter laden zu können.
Diese Zip-Datei muss vor Verwendung entpackt werden. Dann stehen die Audio-Dateien mit der Endung .mp3 zur Verfügung, die auf den mp3-Player kopiert werden.

Zum Packen und Entpacken von Dateien stehen im Internet verschiedene - auch kostenlose - Programme zur Verfügung. Ich benutze zur Zeit das Programm "PowerArchiver".