Live streaming service live.gwdg.de not available

The service is available again.

The live streaming service (live.gwdg.de) is currently unavailable due to complications during maintenance work. We are working on restoring availability.