Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
solution seems to be fixing the type of the Proj(Cond) [r23130]