Jensenius, Niels Hasselgaard, Det Administrative Bibliotek, Denmark