GitLab-Wartung: Freitag 16. Mai, 7:00–7:15 Uhr – Update von GitLab und Shared Runners. In diesem Zeitraum ist mit Verfügbarkeitsproblemen zu rechnen.
ADD control: kgeo.py -l -> run all on local files, scip mirroring MINOR FIXES FULL TESTED
