Divisor Class Group Krull Domain