Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
See https://docs.oracle.com/javase/specs/jls/se17/html/jls-15.html#jls-15.26.1