Kategorie:Theorie der endlichen freien Algebren über diskreten Bewertungsringen/Fakten