Dedekindbereich/Hauptdivisor/Erste Eigenschaften/Fakt/Beweis