MDLUL/System (D-System)

Start=System (D-System)

MDLUL/System (D-System)

Ziel=K-Modallogik/D-System/Definition