Small, typical canteen.
The self-service restaurant is well-stocked, and the staff is very friendly and welcoming. It's truly a small canteen where you'll meet all the local workers who come to eat.
Many have confirmed that it's much better than the restaurant.
The only slight drawback may be the hubbub inside, but the outside is much more peaceful.
But it's a good little experience for those on a budget.
€9 for gnocchi (€6), cheesecake for dessert (€2), and a bottle of water (€1).