Gruber, Johann Daniel, active 1714-1758, Historiographer and Royal Librarian at Hanover