Three of us will be in Barcelona for the holidays on our first trip there. We are looking forward to our meals at some top/local restaurants. Due to a variety of planning issues, I wasn't able to book any reservations yet for a Christmas dinner and for the day after (which I believe is a national holiday). Does anyone have specific recommendations for a Christmas dinner? Thank you in advance.