Solved: Printserver_GWDG 30.06.2018

[sc name=“head_betriebsmeldungen_en“ message_id=“201806301258″ time=“30.06.2018, 12 am“ affected=“GWDG_Printer“ impact=“printing is working again“ ]

The printing problems are solved.