MDLUL/endlich erzeugter Modul