Haarder forklarer navneændring for Det Kongelige Bibliotek