The included video has been encoded using an h264 codec. If you
have trouble playing it, please consider downloading the vlc player
at www.videolan.org (free for almost all platforms).