MDLUL/erzeugt (Körpererweiterung)

Start=erzeugt (Körpererweiterung)

MDLUL/erzeugt (Körpererweiterung)

Ziel=Körper-Erzeugendensystem/Definition