inside now regularly used for operatic productions .