är i dessa dagar verkstäld af Kongliga teaterdirektionen.