Danke für den Tipp! Ich habe übrigens nach der Treiberinstallation den Netzwerk-Modus wieder auf "Öffentliches Netzwerk" zurückgestellt. Das Drucken funktioniert weiterhin.