Grauert's theorem on direct images of coherent sheaves | lit.salon