Power series rings over a Krull domain.