Jeff,
Thank you very much for fast feedback!
It turned out that my problem was too hairy for a straight uninstall/reinstall solution.
In fact, I spent some two hours chatting with three increasingly qualified support techs until the last one took command of my machine and finally managed to clean up the issue. Very well done, Anand et alii!
Kind regards,
Joachim