Start=Extmodul

MDLUL/Extmodul

Ziel=Modul/Extmoduln/Injektive Auflösung/Definition