Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
They can be handled during instruction selection. This fixes opt/fehler295.c.