Remove Matthias' comments from semantics section
There are still some internal (and sometimes outdates) comments from @matthias.bueker, which should be removed before release. This issue has the goal to do this.
There are still some internal (and sometimes outdates) comments from @matthias.bueker, which should be removed before release. This issue has the goal to do this.