Merge `main` back into `dev` #766

Merged

Nils1729 merged 2 commits intodevfrom main

Mar 17, 2023

Commits on Mar 10, 2023

Merge pull request #747 from hpi-sam/release/v0.2.0
Greenscreen23
authored

Commits on Mar 13, 2023

Hotfix/revert 740 cascade deletion of simulated regions (#750 )
Nils1729
authored