Danke für die Tips; den Realplayer habe ich, aber das hilft hier nicht.
Ich kann auch noch eine Zusammenstellung empfehlen: Über www. surfmusik.de findet man eine Riesenauswahl von Webradios mit Angaben zu den Playern.
Liebe Grüße vom Eifelplatz, Chris