music hall: a theater in which vaudeville is staged
theater: a building where theatrical performances or motion-picture shows can be presented
plane tree: any of several trees of the genus Platanus having thin pale bark that scales off in small plates and lobed leaves and ball-shaped heads of fruits