MDLUL/formaler Potenzreihenring (1)