Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
added suffix as argument to dumpers, removed global variable removed support for tarval/Const [r3694]