Seit kurzer Zeit hat sich eine Neuerung in der ZDF Mediathek ergeben: Die Videos werden alle von dem JW FLV Media Player abgespielt.
Man findet also nicht mehr so ohne weiteres die nötige asx-Datei, um an die mms-Adresse zu kommen, die man zum Download des Videos braucht.
Nach ein paar Minuten hatte ich aber auch das Problem gelöst.
1. Rechts unter dem Video findet man einen Button für den RSS-feed. Mit der rechten Maustaste diesen Link speichern (heißt "Verknüpfte Datei laden (unter...)"
2. Die heruntergeladene Datei (der Dateiname ist bei mir bislang immer eine Zahl gewesen) mit TextEdit öffnen.
3. Hier finden sich einige asx-Adressen (beginnen mit "http://" und enden mit ".asx"). Sucht Euch die richtige heraus und kopiert diese in den Zwischenspeicher.
4. Wenn Ihr die Anweisungen für Punkt 5 aus meiner Erklärung zu Beginn dieses Threads befolgt und nur anstelle der mms-Adresse die gerade erhaltene asx-Adresse beim "Media Resource Locator" einfügt, bekommt Ihr an dem von Euch unter "Einstellungen" gewählten Ort eine kleine Datei. Öffnet diese wiederum mit TextEdit.
5. Hier findet Ihr jetzt (endlich) die gewünschte mms-Adresse.
6. Folgt den Anweisungen für Punkt 5 aus meiner Erklärung zu Beginn dieses Threads und fügt jetzt die soeben erhaltene mms-Adresse ein.
7. Feddisch!
Und falls das hier ein Mitarbeiter des ZDF liest und mit dem Gedanken spielt, wieder einmal die Player-Einstellungen zu ändern, damit wir die Streams nicht mehr downloaden können: BITTE TU'S NICHT! Ich hab kein Bock mehr, mir ständig neue Wege überlegen zu müssen.