MDLUL/formale Ableitung