The animation is downloadable as video-file in different formats and resolutions: The resolutions conform with the digital PAL and NTSC standards. Both resolutions are available in .mpg and .avi format. The .avi format files are encoded using a DIVX codec. You can download this codec here.
To be played on your computer, the animation is also available as Flash file. The Flash version can either be played in your browser (.swf file) or as a stand alone application (.exe file).
All files are compressed .zip archives, therefore a decompressing software might be needed if your OS does not support this functionality.
Feedback is welcome: firstname.lastname@example.org