an auditorium is part of music hall