Der Nutzer stellt seit bald drei Jahren Fragen in dieser Richtung, das kann man doch schon gar nicht mehr ernst nehmen, zumal er damals von mir eine private Nachricht dazu bekommen hatte...

Wühle dich durch durch den Google Chrome Store oder bei den Firefoxerweiterungen, da wirst du fündig. Ein nativer download von den hier eingebetteten Videos ist unmöglich. Das ist aber auf allen Streamingseiten so, aus diesem Grund gibt es spezielle Erweiterungen für den Browser, die das bei der einen oder anderen Seite möglich machen. Ob dies hier ebenfalls mit den speziellen Browsererweiterungen geht, keine Ahnung. Musst du selbst herausfinden. Ich lade nur bei MediathekViewWeb herunter, da kann man so gut wie alle Sendungen von Arte, 3sat, ZDF, ARD, WDR und den anderen öffentlich-rechtlichen Sendern bekommen.