Burkhard Gotthelf Struve — German librarian