Archivmaterialien zu Theodor Haug, - Haug, Theodor