akretsch

Your question got me curious on the topic and my search led me to the link below. Maybe you already found it also. Anyway, this gets .amr to .wav; from .wav to .mp3 you can audacity or others.

http://www.miksoft.net/mobileAMRconverter.htm