Ich habe es funktioniert, indem ich den Druckertreiber manuell auf dem Druckserver neu installiere.
Erinnerte sich schließlich, wie das geht:
Geben Sie den Namen des Druckers manuell ein:
\\TE100-MP1U\S750
Dann erhalten Sie einen Dialog, dass die richtigen Treiber nicht installiert sind. Klicken Sie auf "OK", um die Treiber zu installieren. Ergebnis - kann jetzt drucken.