Lorenz Heinrich Wagner — German librarian, teacher, and philosopher