Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
- mode_is_reference() instead of mode_P - use mode_P_mach in constructions instead of mode_P [r1467]