Keine Ahnung, ob man die animierten GIFs direkt in ein anderes Format biegen kann, glaub aber eher nicht so ohne weiteres, wozu auch. Andersrum hätte es schon mehr Sinn.
Was natürlich geht, ist mit einem nahezu beliebigen Bildbearbeitungsprogramm die Einzelbilder aus dem GIF rausfummeln, (wahrscheinlich) nach Jpeg konvertieren (müssen) und dann die überaus mächtige und dazu kostenlose Videoschnittsoftware
VirtualDub bemühen, um die Einzelbilder wieder zu einem Film zusammenzusetzen.
Weiter erforderlich ist natürlich ein Mpeg Encoder (VirtualDub kann selbst leider kein Mpeg ausgeben) und eine DVD Authoring Software. Du kannst mal bei
http://www.tmpgenc.net schauen, aber waas i ned, was die freie Version alles kann. Gibt aber auch ein paar ganz freie Encoder.
Wenn der Große dann die ganzen Anleitungen durchgearbeitet hat und alle Anwendungen beherrscht, hat er so nebenbei gleich eine ganze Menge über Bild-/Filmbearbeitung, Schnitt, Mediencontainer, Frameraten und Videocodecs gelernt.
Mit etwas Glück hast Du aber auch einen DVD Spieler zur Hand, der den einen oder anderen .avi Codec lesen kann, zB DivX, dann kannst Du den mit VirtualDub kodieren und so schon abspielen.
PS: mir kam zu Ohren das Du anlässlich der Transalp auch ein Womo fährst...?