Det kgl. bibliotek Aarhus. Foto: ERCO.