hi thanks for your help, but it didn't work. amazingly a apt-get update + upgrade solved the problem. still i don't know why it occured. Christian