Grauert's theorem on direct images of coherent sheaves