Simple progressive HTTP stream is used on this page. You can copy such streams from the cache of your web-browser. You can also download such streams with many programs, including freeware
Fast Video Download,
Video DownloadHelper extensions for Firefox (works in Windows, Linux, Mac OS), freeware
Freecorder 4 (Windows),
Jaksta Free Media Recorder (Windows), paid
Replay Media Catcher (Windows).