Some time ago, a letter from the National Library of the Netherlands, a distinguished institute founded in 1798, was delivered in my mailbox …