@claudiahr Nö, ganz hoffnungslos ist es nicht. Wenn der ORF geoblockt, dann geht es in der Tat nicht. Aber wenn nicht, dann ist es auch nicht so einfach …
Deswegen die Anleitung. Zum einen gibt es keine .mp4-Dateien sondern nur .m3u8-Streams. Das kann aber das Hilfsprogramm ffmpeg, das ja gemäss der Anleitung auch eingeschaltte wird. Zum anderen kommt - alles gemäss der Anleitung - dem Parameter “user_agent” eine besondere Bedeutung zu, weil der Server diesen anscheinend speziell auswertet.
Normalerweise - im typischen Browser-Betrieb - kann dieser Wert zur Identifizierung der verwendeten Browser-Version genutzt werden. Wenn man aber nicht mit einem der üblichen Browsern auf die Webseite geht, sondern mit speziellen Programmen wie MediathekView oder FFmpeg, kann es erforderlich werden, einen solchen “user_agent” anzugeben. Der hier von MediathekView traditionell eingestellte Wert - und womöglich etliche andere - werden vom Server abgewiesen. Deswegen muss man hier einen möglichst “unverbrauchten” Wert eingeben.
Soweit, so gut. Eine zusätzliche Hürde ist es wohl, die Syntax der Parameter-Angaben für das Programm ffmpeg genau richtig hinzubekommen. Jedenfalls haben wir hier über die Jahre schon etliches vorbeiziehen gesehen, wo es darum ging, genau die richtige Anzahl Leerzeicehn an den richtigen Stellen zu platzieren, die korrekten “Gänsefüsschen” (nicht die “Anführungszeichen unten” bzw. “oben”, sondern die über der “2” auf der deutschen Tastatur) und Bindestriche und Unterstriche exakt zu treffen, usw.
Eigentlich sollte das, was beim Installieren von MV im “Speichern”-Set hinterlegt wird, auch funktionieren. Lediglich der eigentliche Text zwischen den “Gänsefüsschen” sollte variiert werden. Beispiel:
-user_agent “MV1371”
oder
-user_agent “TVthekRocks”
oder so.
Und noch eine, nennen wir es Warnung: Schnell ist der Kontakt zur TVthek fast nie, sehr langsam schon viel öfter. Gelegentlich läuft sich so ein Download auch mal fest. Wenn man ihn dann neu aufsetzt, fängt er wieder von vorne an - nicht wie bei den direkten Downloads von MP4-Dateien.
