Instead of this player, you may be able to click on the following link, or else paste the link into an audio/video player:

http://kulturradio.de/livemp3