Text this: The divisor class group of a Krull domain /