Geissler, Johann Gottfried, librarian to the Duke of Gotha