Wie ist das gemacht?

[Rolf b]

Was für ein Video müsste man drehen

Ja, äh, das, das du zeigen willst? Nimmst Du Kamera in die Hand und hältst sie auf das, was nachher abgebildet werden soll. Und für beste Darstellung konvertierst Du das Produkt der Kamera in einen Codec, der vom video-Tag unterstützt wird. Dazu gibt's genug freie und unfreie Tools.

WIE groß es ist, krieg ich mit Browsermitteln auch nicht raus, habe gerade keinen Downloader hier rumliegen. https://www.webvisitenkarte.net/uploads/headerVideo.mp4 eben.

Rolf