Somewhat too fast I had the idea that I could have placed a wrong zip version on the server, but it was fine and working as described above. Nervtheless I have deleted this file (just in vain - but it's gone), and it will take an hour or so to transmit it anew.