Thanks for the nice manual!But still I could not find any information about how to save an animation as a movie file to disk.Or did I overlook it?
