wlaemmle

I preferred your 3rd suggestion do it manually and that worked fine. Maybe a timelimit on our server hindered the normal update as 13.6 MB is quite a lot.
Anyway many thanks for your prompt reply and good help.