I am using Firefox 56.0.2, with DownThemAll download manager addon. I get the same results as Psajko above.
Yes, it makes a difference if I download it in another browser, or in Firefox without using DTA. Now I've got the right file. (There must be a bug in DTA.) Thank you.