Hallo zusammen, ich wollte nur kurz mitteilen, daß ein apt-get dist-upgrade gestern Abend das Problem behoben hat. Es wurden wieder ca 100 Pakete geladen und installiert. Grüße, Torben