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