Dining hall, also known as the refectory.