Vroeger eetzaal, nu restaurant, recreatieruimte en mediatheek.