tool animated gif -> avi

Hallo!
zuerst einmal entschuldigung wegen des Crosspostings. Ich habe diesen 
Beitrag zuerst im Offtopic gepostet, aber hier sind die Chancen auf 
Erfolg hoffentlich höher.

Ich suche ein Tool, welches aus animated-Gif AVIs erzeugen kann.

Es sollte sowohl über Shell/Eingabeaufforderung bedienbar sein als auch
eine GUI haben.

Grüße
Stefan