MDLUL/formaler Ableitung