Haven ved Det Kgl. Bibliotek