...
Systemsteuerung
Geräte und Drucker anzeigen
Drucker hinzufügen
Der gewünschte Drucker ist nicht in der Liste
Drucker unter Verwendung einer TCP/IP-Adresse oder eines Hostnamens hinzufügen
Der Drucker hört auf den Namen printer-hds01.int.stuvus.uni-stuttgart.de
Generic Network Card
Treiber gibts hier (Universal Printer Driver; PostScript)
https://www.konicaminolta.de/de/business-solutions/produkte/multifunktionssysteme/schwarzweissfarbe/bizhub-554ec554e/downloads.html
runterladen und entpacken und mit dem Knopf "Datenträger" auswählen.
Generell gilt natürlich, druckt so viel wie nötig, so wenig wie möglich!
...