How is the buffet in Germany? We have never eaten there, and it is our first time. We are only a party of three, so I expect it is going to be a lot of fun. How was your experience and was the food okay? Thanks