Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
removed unused stuff form scc algs [r3550]