Der Printserver fuers Haus ist gestorben. Auf Ersatz-Server umgezogen. Dabei
gleich einen Upgrade auf Ubuntu 14.04 gemacht. Das hplip Packet nachinstalliert
und damit gehen jetzt die meisten Drucker wieder. Bei ein paar muss man noch
der Hand Filter aus proprietaeren Packeten nachinstallieren, zum Beispiel
bei den UTAXen.