Or you can use MediathekView[0] in combination with GNU flvstreamer[1] to record the stream and save as video file locally.

[0] http://zdfmediathk.sourceforge.net
[1] http://savannah.nongnu.org/projects/flvstreamer