Condensation in supersonic expansion flows: Theory and numerical evaluation by B. Prast