Print your file on the printer by using
"UTAX_color to icpse1.hs-el.de" or "\\icpse1.hs-el.de\Utax_color" respectively"
The printer name covers all copy machines connected to the print network. You determine which copy machine prints your documents with your CampusCard. Your data cannot be accessed without your CampusCard.
A quick guide of how to print with the CampusCard can be found here.