Restructured a little bit #4

Merged
meierj merged 33 commits from mueller/master into master 2020-11-25 15:03:43 +01:00
Showing only changes of commit 47fe9acf6c - Show all commits