I am interested in reading the proof of Grauert's Contractibility Theorem, asserting that an integral compact curve in a smooth compact surface (without the projectivity assumption - this is the case I am mostly interested) is exceptional iff it has negative self-intersection.
The reference is this: Grauert, H.: Uber Modifikationen und exzeptionelle analytischen Mengen, Math. Ann. 146 (1962), 331-368.
Unfortunately I do not read german; all the sources I tried only state the result without proof (e.g. Barth-Hulek-Peters-Van de Ven) or the prove the algebraic version.
Does anyone know a reference where I can read the proof, or at least the main ideas or main steps?
Thank you.