Da die Flash eigene Umwandelung bei mir nur grottenschlechte Ergebnisse produziert hat, hier kurz eine Anleitung, wie man .swf Dateien in .gif Dateien konvertieren kann:
Man wandelt den Flash Film in eine Quicktime (.mov) Datei:
Datei > Exportieren > Film exportieren
Dann importiert man die Chose kurz in Photoshop (man braucht die Extended Version):
Datei > Importieren > Videoframes in Ebenen
Jetzt kann man unter: Fenster > Animation noch weiter an der Animation feilen und zum Beispiel einzelne Frames löschen und die Dauer ihrer Anzeige einstellen, um die Animation zu verkleinern.
Am Ende exportiert man die Datei dann wie folgt:
Datei > Für Web und Geräte speichern
.gif als Format wählen und wenn die Animation sich wiederholen soll: Optionen für Schleifenwiedergabe - unbegrenzt einstellen. Man kann jetzt noch etwas an den Settings rumspielen, um die Dateigröße etwas zu verringern.