Wenn irgendein semiselbstgestrickter Player halbräudig in irgendeine Webseite eingebunden ist und keinen für nicht-IT-Nutzer einfachen direkten Link auf eine Videodatei erlaubt, ist das kein schlechter Workaround.
Alle Ähnlichkeiten mit historischen oder aktuell bekannten Webseiten sind rein zufällig.
Ich hatte den alten Player hier im Sinn. (Wenn ich unbedingt Videos downloaden will, nehme ich youtube-dl in der Kommandozeile (funktioniert auch in verdongelten Mediatheken *hust*), deshalb ist mir der rechte Mausklick wurst) Aber danke für die Antwort.