Hallo Detlef, versuche gerade mal wieder ein apt-get upgrade, momentan sind alle pakete verfügbar. am besten ist es neu zu booten. Ansgar