Hmm, WMA ist bereits ein mp3-format (Wenn z.b. mit dem Mediaplayer auf Platte gespeichert...) Also einfach in *.mp3 umbenennen, sollte eigentlich immer gehen (Bei mir jedenfalls...). Erst wenn die Dateien noch einmal komprimiert werden sollen braucht man ein Tool zu.