Power series over generalized Krull domains

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. Moreover, we show that essentially the opposite theorem holds. We prove that if R is a generalized Krull domain which is not a Krull domain, then R〚X〛 is never a generalized Krull domain.