Genau, mit dem Mediaplayer 10 funktioniert das recht gut, einfach unter Extras—>Optionen den Reiter „Musik kopieren“ auswählen, dort kann man dann zwischen „wma“ und „mp3“ wählen. Alles mit „OK“ bestätigen und dann im Mediaplayer auf „Von Medium Kopieren“ klicken. DIe gewünschten Lieder auswählen und los gehts…
Eine andere Alternative (freeware), mit noch mehr einstellmöglichkeiten wäre „eac“, gibts unter http://www.exactaudiocopy.de