Service s3.gwdg.de seems to be down

Service is back up.

According to our monitoring system this service has become unresponsive, we’re investigating.