All my animations and videos are in the HTML5-compliant MP4 format, using the H.264 codec. They should play well on all modern devices and browsers.
If the video was embedded from an outside source, like Vimeo or YouTube, it might have been moved or deleted. That's always a risk with external links. In that case, just do a search with the relevant key words and you'll probably find it still out there somewhere.