Danke für den Tipp mit der Hotline. Dort habe ich erfahren, dass unser LaserJet 4345X seit 4 Jahren nicht mehr supportet wird und er mir leider mangels Kenntnis des Modells nicht weiterhelfen kann.
Ich muss wohl eine andere Lösung (z.B. FinePrint, manuell vordrucken etc.) suchen.