Ich nutze da zwei Firefox-Erweiterungen: Video DownloadHelper und Video Downloader Professional.
Es sind zwei, weil nicht jede mit allen Videos funktioniert, aber mit beiden zusammen kann ich mir fast alles herunterladen.
Für die ÖR nutze ich Mediathekview und die Privatsender bringen eh nur Grütze, da brauche ich nichts.