Redirecting to Dedekind domain