af k. stora teatern festligt prydd med anledning af dagens högtidlighet.