We had a good lunch, with a limited but tasty buffet. The waiters were nice, helping us in the choices we should make.

​Too much people, was, as usual, a sign of quality. The noise was almost Portuguese, but the prices were really Danish.