Solved: “idm.gwdg.de” not available

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