Adding the Printer, Linux
Driver file:
Any "PS Generic" will work, but In case you need it: PPD file for Ricoh IM C5510
Go to your printer settings. This may depend on your Distribution, but the application is probably called `system-config-printer`
Specify the following device path:
ipps://print.him.uni-mainz.de:631/ipp/print
(the picture on the right does not show the right address)
And print a test page. This is important, because you need to authenticate yourself!
This print job will not be printed until you are authenticated. That's okay, it's why we print that test page.
Authenticating
Your job staus should be "Held for authentication". Select that job, right click and choose "authenticate":