Solved: gwdg-print3.gwdg.de is up again

[sc name=“head_betriebsmeldungen_en“ message_id=“202012011321″ time=“November,30th 2020 10:00″ affected=“all users of gwdg-print3″ impact=“printing via gwdg-print3 is possible again“ ]

Printing via gwdg-print3 is possible again.