Use the export feature from proper animation, you will get many jpg files. You may then compile those latter into a video file ...