Text this: On the theory of Krull rings and injective modules