Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Now all users of be_make_asm() automatically use this logic.