lenast den kungliga teaterns ombygnad,