This is an MPEG4 Quicktime movie (H.264 codec), if you don't see it above (for lack of a plugin, for example) you can download it from here. You can also play this movie with VLC.

4.3.2004Alessio Guglielmiemail