Synthetic Geometry of Manifolds door Anders Kock