Start=Invariante (j C)

MDLUL/Invariante (j C)

Ziel=Gitter/Komplexe Zahlen/Absolute Invariante/Definition