Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
fix source of fehler74 and fehler75. [r15740]