@misc{indiciae391246a7c383,
  title = {Hans Grauert (1930-2011)},
  author = {Alan Huckleberry},
  year = {2013},
  url = {https://arxiv.org/abs/1303.6933},
  note = {Source identifier: 1303.6933}
}