Zahlbereich/Gitter-Einbettung/Ideal/Diskriminante und Grundmasche/Fakt/Beweisverweis