Kategorie:Verzweigungstheorie für Dedekindbereiche/Definitionen