Hi @AntonvdHoven, welcome to our Community!
Is it safe to assume you're using the web to download the .mp4 file? If so, can you try to clear your cache first, and then repeat the process, or even try a different browser, just to notice the behavior there?
Keep me posted, and we'll take it from there!