Najlepszy program do konwersji filmów na GIF/WEBM bez utraty jakości?

Poszukuję programu, który z najmniejszą stratą dla jakości, najwydajniej zamieni mi filmiki na format WEBM/GIF.

Pytanie dodatkowe: który z tych formatów jest lepszy dla krótkich filmików do umieszczania na stronie? A może jeszcze inny?

O jakiej rozdzielczości i długości filmów mowa?
GIF nie nadaje się do wysokiej rozdzielczości, jego "waga" będzie ogromna i będzie bez dźwięku.

Przykładowy filmik w obu formatach w załączniku.

https://pl.wikipedia.org/wiki/WebM

Okej. A jakiś dobry program, który pozwoli mi zamienić pliki na webm?
Odpowiadając na pytanie - długość filmów: do 30 sekund, rozdzielczość: właśnie rozdzielczości filmików różne, ale spora część to 720p lub 1080p.

https://video.online-convert.com/convert-to-webm
https://convertio.co/pl/avi-webm/
http://www.hewbo.com/convert-avi-to-webm.html