An extension of coherent sheaves defined outside holomorphically convex compact sets

We show that a coherent analytic sheaf ${\mathcal F}$ with prof ${{\mathcal F}\geq 2}$ defined outside a holomorphically convex compact set K in a 1-convex space X admits a coherent extension to the whole space X if, and only if, the canonical topology on ${H^1(X \setminus K,{\mathcal F})}$ is separated.