Z:sharelatex--pull github changes into sharelatex/de

Änderungen von Github in ShareLaTeX pullen