Start=spitz (Monoid)

MDLUL/spitz (Monoid)

Ziel=Kommutatives Monoid/Spitz/Definition