The printserver crashed again, for yet unknown reasons. A reboot of the machine solved the problem.