såsom fortfarande tillhörande kungliga liga teatern ist.