Kategorie:Verzweigungstheorie (Differentiale) für Dedekindbereiche/Fakten