Müller, Hans bibliotheksrat, Jena