The Hauptvermutung Book