Timeframe: 27.08.2020, from 5:30 PM
Consequences: ShareLatex.gwdg.de not available
The update of ShareLatex has completed and the service is available again.
With this version it is possible to select the TexLive version in each project, so that
older projects can be compiled with matching versions of Tex.