MDLUL/formales Ableiten