David, thanks for the hint with the command. Meanwhile I was successful: I did a complete delete and then a new install and that problem went away. Joachim Keinert