# Singularities of the Remmert reduction of a holomorphic convex manifold

Let $X$ be a holomorphically convex manifold, namely, for any infinite discrete subset of $X$ there exists a holomorphic function on $X$ which is unbounded on this set, then a theorem of Remmert says that there is a Stein space $X'$ and a proper holomorphic map $f:X\rightarrow X'$ such that $f_*\mathcal O(X)=\mathcal O(X')$.

Question: Is there any result about the property of the singularity of $X'$? For example, is the embedding dimension of $X'$ always finite?

Thanks a lot for your help!