32E05 - Several complex variables and analytic spaces :: Holomorphic convexity :: Holomorphically convex complex spaces, reduction theory