This is a high-quality MPEG-4 DivX 5.0.2 video. In order to view these
video-files you need to have DivX 5 or later codec installed on your
system. This codec can be downloaded for free from http://www.divx.com/divx/.