mit einem flash decompiler zerlegen(wenn die rechte vorhanden sind) und mit einem Gif animator wieder zusammenfügen

Edit: sieht so aus als ob es auch programme dafür gibt

http://www.effectmatrix.com/swf2gif/index.htm