Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
- when optimizing Phi(St, ST, ...) handle correctly the case that the Stores might be cascaded [r7959]