Leider erfolgte in der Zeit zwischen dem 06.07. 09:00 Uhr und dem 10.07. 10:15 kein Mailversand aus GitLab. Wir bitten vielmals, die damit verbundenen Unannehmlichkeiten zu entschuldigen. Die Mails werden jetzt nachträglich zugestellt.