MDLUL/rechtsabgeleiteten Funktor