BadZipFile: how to find the corrupted file?

Hi Evan,

thanks for the quick reply. I'm currently redownloading the data using wget instead of just clicking a download link. Perhaps something went wrong with the browser download of the data and is it an easy fix. I'll let you know how that turns out. If I still get the errors, I'll post the information you request.

Regarding the file names, I know it sounds strange, but it is really the case. Somebody else reports a similar thing: