Solved: „idm.gwdg.de“ not available

[sc name=“head_betriebsmeldungen_en“ message_id=“202002250700″ time=“since 24.02.2020 ca 9:00pm“ affected=“IDM User“ impact=“IDM not available“ ]

„idm.gwdg.de“ is now available again