Danke.
BIn darüber jetzt auf ein kleines, schlankes freewaretool gestoßen, welches AVI nach animated Gif convertiert. Nennt sich sinnigerweise "Avi2Gif" und man muß als "Bezahlung" durch einen Klick auf OKAY nur zugeben, daß der Author des Programms "besser ist" als man selbst. Ist schon nen lustiger Knabe.
Gruß Markus