's avonds eten in het infante restaurant. Heel erg groot met 6 obers voor maar 3 bezette tafels. En heerlijk eten