den del af konungens anslag till Stora teatern , som ärafsedd