Die einfachste Möglichkeit, die mir momentan einfällt: schnapp dir ein Programm, das Ton aufnehmen kann (Notfalls den Windows Audio Recorder), stell in deinen Soundeinstellungen den Input auf "Stereo Mix" bzw. "Was Sie hören" (Je nach Soundkarte), starte die Aufnahme und spiel die Animation ab. Dann musst du das Ergebnis zwar noch ein bisschen zurechtschneiden, aber das sollte recht schnell gehen. Die Alternative ist, dass du dir ein Programm suchst, das einzelne Elemente aus Flashdateien extrahiert. Keine Ahnung, obs sowas gibt.