Kennt einer von euch ein (kostenloses) Programm, um ogg Musikdateien in Mp3s umzuwandeln?