Maintenance of jupyter-cloud.gwdg.de completed

Message-Id: 202017111724
Time: 20.11.2020 5pm-5.45pm
Affected: jupyter-cloud.gwdg.de
Impact: service not available

Maintenance of jupyter-cloud.gwdg.de has completed. The service is available again since
about 05:40pm. The new user interface is now JupyterLab
(https://jupyterlab.readthedocs.io/en/stable/#jupyterlab-documentation).