Beim Sichern der Musiktitel auf USB-Festplatte werden Dateien erstellt, die auf den ersten Blick mit keinem gängigen Format kompatibel sind. Siehe auch
https://7-forum.com/forum/showthread.html?t=242357
Nach etwas Experimentieren fand ich heraus, dass die Umwandlung in ein gängiges Format äusserst einfach ist: Nach dem Invertieren sämtlicher Bits (xor 0xFF) erhielt ich einwandfrei abspielbare AAC-Dateien.
Der Erwerb kostenpflichtiger Programme ist somit überflüssig.