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