Respuesta:
Puede guardar las animaciones como un archivo AVI seleccionando Herramientas → Crear archivo de vídeo en el menú. Die Menüleisten, Navigatorleisten und Tabellen werden dabei nicht berücksichtigt.
Sie haben die Möglichkeit, verschiedene Videodatei-Typen zu wählen. Ferner können Sie die Qualität und die Anzahl der Bilder pro Sekunde regeln. Bitte bedenken Sie: Je kleiner die Zeitabstände, desto größer wird die Datei, aber umso flüssiger ist der Ablauf des Videos.