Modern opera houses and theatres : examples selected from playhouses recently erected in Europe ; with descriptive text, a treatise on theatre planning and construction, and supplements on stage machinery, theatre fires, and protective legislation. 3