Solved: Printserver_GWDG 30.06.2018

Message-Id: 201806301258
Time: 30.06.2018, 12 am
Affected: GWDG_Printer
Impact: printing is working again

The printing problems are solved.