Strangely enough, this worked fine! But difficult to understand why. I had about the same problem with v 5.58, but it worked after many attempts. Is there any difference between the slim version and the average one? Can I find the slim version at the same place next time - Ccleaner is updated rather often...
Anyway, thank you very much!