Dining hall (known as the “Refectory”)