There are two versions for download:

• for Windows Media Player
  (ca. 17 MB)
  
  
• MP4-format
  (ca. 12 MB)

(right-click and choose "Save target as")