MDLUL/Ableitung (formal)