Hi,
danke für den Tipp. Leider kann man damit aber nicht auf alle Streams zugreifen, beispielsweise fehlt im RSS-Feed der Link zur dok.film-Reihe.
Ich hab gerade noch eine 2. Möglichkeit entdeckt, vielleicht ist sie auch noch für andere hilfreich: Über MediathekView die URL (rtmp://) kopieren und über die Kommandozeile per curl den Stream downloaden.
Funktioniert halt nur in Echtzeit. Und die Videos sind riesig: ca. 1 GB pro Stunde.
curl rtmp://link.mp4 -o datei.mp4