Old market hall, renovated and filled with all kin...

Old market hall, renovated and filled with all kind of restaurants. It used to be a great place to walk around and have lunch or dinner. When we got back in September 17, it was totally packed. No free tables. Very loud, no relaxed atmosphere. We decided to leave and have lunch somewhere else.