Our git-repository-server (simlab.ww.uni-erlangen.de) will be offline during a bigger update and maintenance period on Wednesday the 20. Feb. 2019.
Data synchronized during the update process could be lost.