Hat sich erledigt.
Wir haben den Drucker über einen Printserver ins Netz gehängt. Damit funktioniert er wieder wie früher.