Ich habe gestern Abend mal eine Animation so wohl als animiertes GIF als auch WebM ausgegeben.
Der Unterschied in der Dateigröße ist schon enorm.
Wenn man also überlegt, ob man auf der eigenen Seite Animationen als GIF oder WebM (selbst der neue Edge wird es unterstützen) nimmt, ist WebM wohl die beste Wahl. Damit es sich wie ein GIF verhält muss man es so einbinden:
<video src="ani.webm" autoplay loop mute></video>