Converting ogg files to mp3 from the command line

Problem - I've downloaded a podcast in .ogg format and want to listen to it on my Nokia phone, which doesn't support .ogg.

So the procedure will be to convert the .ogg file back to .wav, then encode it into .mp3

Change from Home directory to Desktop:
cd /Desktop

install Lame and Vorbis tools:
sudo apt-get install lame
sudo apt-get install vorbis-tools

Decode .ogg file:
oggdec tuxradar_s04e09.ogg

Encode to .mp3, using low-quality setting:
lame -f tuxradar_s04e09.wav tuxradar_s04e09.mp3

I'm sure if I did this sort of thing every day this would all seem logical and fall off the fingertips as quickly as my typed whinging, but it took me twenty minutes to Google and do.  Ah, Linux, how do I love thee? (Don't make me answer that question)