doh, brain not working this early.
TXL is the code for Tegelhof (Berlin), i originally put TEX
it wasn't a buffet. they served a traditional german breakfast to your table, you could order from the menu, and they brought around ~3 trays of tasting dishes. there was also a continental station with croissants, juice, etc. and having unlimited water for free was a huge plus.
http://www.askoxford.com/languages/c.../germany/brot/
A traditional German breakfast offers fresh crusty rolls with jam for those with a sweet taste, and a variety of breads, together with thinly-sliced cheese and cold meat, to provide for more savoury tastes.
fairly good description. there were also soft boiled eggs, fruit, muesli, and im sure im forgetting things.