You can directly stream these with mplayer:

rtmp://berlin1.rtmp.27c3.fem-net.de/rtmp/saal1_hq

rtmp://berlin1.rtmp.27c3.fem-net.de/rtmp/saal2_hq

rtmp://berlin1.rtmp.27c3.fem-net.de/rtmp/saal3_hq

Sound might not be working right yet.