a concert hall is used for holding concerts.