Marginnote zu einfachen Gruppen, bei Def. 1.11

Hab ich das syntaktisch so richtig gemacht??