  We resolve an open problem in commutative algebra and Field Arithmetic, posed
by Jarden -- Let R be a generalized Krull domain. Is the ring R[[X]] of formal
power series over R a generalized Krull domain? We show that the answer is
negative.
