Gif-Datei von Video erstellen und dann maximal komprimieren

Hi.

Wie kann ich unter Windows 10 eine Gif-Datei möglichst professionell vom einem Video erstellen und dann maximal komprimieren?


Sie darf max. 250kb groß sein, wird aber auch nicht länger als 3 bis 4 Sekunden.

Habe das vor langer Zeit mal so gelöst:
- Video abspielen
- Video anhalten
- Bildschirmkopie mit Alt-Druck
- Einfügen in Bildbearbeitungs-SW
- mit 256 Farben abspeichern
- Paint Shop Pro hatte derzeit ein Tool zur Erstellung einer *.GIF aus mehreren einzelnen gifs.

Geht heute bestimmt auch einfacher!

da gibt's http://ivanbochko.com/gifapp/ (benötigt java) und http://www.heise.de/download/gif-x.html, vielleicht ist das was.