Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
We cannot delete the Store if its address aliases with the source of the CopyB. This fixes opt/loadstore3.c.