Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
- use is_Pin() - use value_of() instead of is_Const() test [r21402]