Dedekind domains