This is an old revision of the document!
Printer
The printer itself is a HP LaserJet 8000 in Raum #1.
It is reachable over the LAN, at drucker.realraum.at. It works using the standard cups driver (cups version 3.16.3) hp-laserjet_8000_series-pcl3.ppd.