Danke Thomas für den Hinweis.
An dieser Stelle noch einen Tipp (praktiziere ich seit geraumer Zeit

):
geht auf die Seite Mediathekview.de und ladet euch über 'Download' das Programm herunter.
Entpackt die geladene zip-Datei an beliebiger Stelle. Ihr habt nun einen Ordner 'MediathekView' . Darin befindet sich die Datei MediathekView.exe, die Ihr startet.
Es dauert etwas, bis die Tabelle mit allen aktuellen Sendern (öffentlich rechtliche) geladen ist. Dann findet ihr dort eine ganze Menge Sendungen, die Ihr entweder direkt ansehen könnt oder downloaden könnt. Beim Download erhaltet ihr eine mp4-Datei.
Diese kopiere ich auf einen USB-Stick, den ich in den Fernseher oder auch in den Receiver einstecken und ansehen kann.
Achtet beim Download auf das Häkchen für die Qualität ! HD ist nicht standardmäßig ausgewählt!
Im Übrigen: dieses Programm wird nicht (!) installiert, sondern arbeitet als 'Standalone'-Version.
Viel Spaß