Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
In order to be compatible with the previous version, the output file is again defined to be last on the command line.