https://9dok.net/document/z3d4k72d-erweiterungen-von-dedekindringen.html