Nice "restaurant": A few booths and food trucks with shared tables and service. So everyone can choose what tastes good (including Mexican, fish, burgers, juices and smoothies, cocktails, sausages and much more). The prices are very moderate, this is our "canteen"!