operahus
noun
opera house