inom kongl , operahuset en obetydlig boksamling,