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.
One possibility is that the video was embedded from an outside source, like Vimeo, and subsequently 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.