Dedekindbereich/Divisorenklassengruppe/Definition/Begriff