Maintenance work finished: gotrs.gwdg.de

Message-Id: 202208041733
Time: 04.08.2022 5:12 pm
Affected: All users of the service
Impact: he service is available again

The server certificate on gotrs.gwdg.de has been renewed. This service is available
again.