In a recent MO question someone mentioned Heegner's solution of the Gauss "class number 1" problem which takes the following form:

- When the class number of an imaginary quadratic form is 1 an elliptic curve is defined over $\mathbb{Q}$ and a modular function takes on integer values at certain quadratic irrationalities which leads to a collection of Diophantine equations: The solution of which finishes the theorem.

I sadly can't read Heegner's original work (since I cannot read German) but also I don't think it's necessarily the best thing to read for this proof due to an alleged gap. So if anyone recognizes this proof sketch sketch and knows where I could read this in detail that would be wonderful! Thanks.