By now you should have a nice animation of your own. It's time to make a video file of it. The first thing you need to do is to install an video encoder. If you have mplayer installed you should already have one you can use.
Go to the Configure menu (-> (Ctrl-P)). and press the tab. You should now get a list of video export settings:
To export your animation to a video file just press-> -> (Ctrl-Alt-V) and you should have a video file of your exellent animation. Tell your friends!