en stor präktig teater , som det spelas på ibland.