Tool gif->avi

Hallo!

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