Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Beim letzten Commit (cd3c4441) wurde faelschlicherweise eine alte Datei hochgeladen. Fix #3
