Start=System (K)

MDLUL/System (K)

Ziel=Modallogik/K/Definition