Erinnerung für mich selber:
Sollte es wieder einmal passieren, dass ich viele Stunden darin versenke, weil ein PrintServer nicht druckt, obwohl er pingbar ist und die Web-Oberfläche aufgerufen werden kann, dann ist es ein sehr, sehr wertvoller Tipp mal die IP-Adresse einfach zu ändern. 😉