Sollution!
easy one:
Download the Mac-OS files, they are the correct zip files.
harder one:
Rename the zip-files to html files.
Open the html file in your browser and you’ll get the download link on screen as it’s supposed to be.
This gives you the same zip files as the Mac-OS link does… :)