Hans Grauert (1930–2011)