Hallo Martin!
Nö, wieso? Die Flash-Animation macht ja auch eine Sequenz von Einzelbildern draus. Also jedes Einzelbild der Animation einzeln speichern und dann zu einem ani-GIF kombinieren. Das können viele Grafikprogramme. Ich glaube kaum, dass das mehr als vielleicht eine Stunde Arbeit sein dürfte.
Von Flash hast du nicht so die Ahnung, gelle? ;-)
Flash kann auch direkt als GIF exportieren, nur ist die Datei dann halt sehr viel grösser, so etwa das 10-fache oder mehr, verglichen mit swf.
Aber ich stimme dir natürlich zu, dass dieses Flash-Intro (obwohl diese Strichzeichnung ganz hübsch ist) an dieser Stelle völlig fehl am Platz ist.
Beste Grüsse
Richard