Before revision: The Auditorium was built octagonally, with capacity for 9,000 people, and was inaugurated on October 14, 1801 on the occasion of the celebration of the birthday of the Prince of Asturias Don Ferdinand.
After revision: The Auditorium was built octagonally, with capacity for 9,000 people, was inaugurated on October 14, 1801 on the occasion of the celebration of the birthday of the Prince of Asturias Don Ferdinand.