Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
-(a & (-a)) -> a | (-a) -(a | (-a)) -> a & (-a)