Ein apt-get dist-upgrade hat die Sache wieder bereinigt

wie ich es gehofft habe.
Der Drucker druckt wieder.
____________________________________
--
http://www.cargal.org
GnuPG-key-ID: 0xB479D3C4
\"Dumm ist der der Dummes tut\" -Forrest Gump
Jabber-ID:moose[AT]cargal[DOT]org