an auditorium is part of concert hall.