MDLUL/Potenzreihenring (1K)