Buildings formerly used as theatres.