Kategorie:Normalisierung (Monoid) (MSW)