@delsel Ah, danke für den Tipp mit der erweiterten Suche bei Valvideo. Die hatte ich noch nicht entdeckt.
Wenn ich das richtig sehe, dann schafft es der JDownloader, die aktuellen Links aus der ZDF-Mediathek zu finden – zumindest für den Film, um den es hier geht. Ich finde das Handling mit dem Programm nicht so bequem wie bei MediathekView, aber es ist trotzdem eine gute Alternative, wenn man eine Sendung sonst nicht bekommt.