Migration to new ShareLaTeX cluster at the end of the year

As already announced on the ShareLaTeX instance, the current server will be discontinued at the end of the year.

After that, only the new ShareLaTeX cluster Sharelatex.tu-darmstadt.de will be available.

Please transfer any necessary data to the new server in good time.