Archivmaterialien zu Rudolph Groß, 1808- - Groß, Rudolph