Here you go. I used VideoLoops (
https://research.microsoft.com/en-us/downloads/d02f3198-7896-45eb-89e8-5a75859b67c8/). Sadly with some quality loss since I had to convert to H.264 and back, and for some reason banding was introduced along the way...