> This video was digitized (2002) by Gerard Holzmann, and is available as a big (88MB: caution!) MPEG here.

88mb! It'll take my dial-up all day to download that!