Neuer Dienst: GitLab

Neu:

• Git-Hosting mit Webinterface und bunt!
• siehe hier

Alt und bald weg:

• Das Redmine wird ab 1. Dezember endgueltig abgeschaltet.