Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
- add ir_ prefix to some irmemory types and enum values [r19990]