Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Shifting into the sign bit is undefined behavior, see ISO C99 6.5.7(4).