Open the file that you want to print at one of the thin clients in the library; select black-and-white or color print; make alle other desired settings in the relevant dialog; confirm with "Okay". A box will pop up, prompting you to enter your MensaCard/Campuscard number.

Then go to any multifunction device with your MensaCard/Campuscard, find "Drucker" in the main menu, and select your file.