In case the player does not show up below, but you are still interested, you can use this direct link to download it. It is being loaded as a native <video> tag, without any javascript, it is supposed to work in all browsers, but you never know. I did test in Firefox and Chrome, and worked fine at the time of writing.