In the post-war years, the theory of 3-dimensional manifolds has developed tremendously. On the one hand, Bing and Moise have proved that 3-manifolds can be triangulated, and that the Hauptvermutung (that any two triangulations ...