Dedekindbereich/Durchschnitt von diskreten Bewertungsringen/Fakt