"Hans Grauert"