You can save the animation in avi format by hovering over "download" with your mouse and right-clicking to choose the save option.
If you are having trouble viewing the downloaded movie:
To watch avi file you may need to upgrade your media player.
Recommended cross-platform open-source media player VLC media player.
To watch swf file you may need to download Adobe Flash Player.