Hi again, the problem disappeared after two days. Possibly it only occurs, if the package server does not answer. Or it was a weird random fallout of the network-manager brouhaha. Anyway, if nobody else has any kind of similar problem, the bug may be closed for my part.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org