vid en för åtskilliga år sedan inträffad eldsvåda i Stora operans bibliotek.