hi,
marc is perfectly right, they are avi's. sorry for the codec mixup - shame on me.
i just renamed them for now, but will put soon real mpegs online :-) otherwise plz try the suggestions from marc to look at them.
cheers
erich
If you can't use Linux with a ffmpeg video player, rename the files with an ".avi" extension, use the Quicktime player, or install this "free as beer" demo MJPEG codec: http://www.morgan-multimedia.com/