@paola
indeed it is that simple. However you have to add -playlist between mplayer and
http://...
That's all. With this particular radio station there is however a problem. Although you've done everything correctly it still wouldn't play. I have to update the mplayer file. I looked into it yesterday but wasn't able to fix this issue yet.
Will keep you updated.