MDLUL/Monoid mit Kürzungsregel