Merge branch 'ExecutionSemantics' into 'master'
Execution semantics See merge request !26
Aufgrund von Umarbeiten des s3 Storage wird es in GitLab, in nächster Zeit, mögliche Performance-Einbußen geben. Näheres dazu unter: https://maintenance.itc.rwth-aachen.de/ticket/status/messages/43/show_ticket/6670
Execution semantics See merge request !26