GastroTisch für 7 schwer zu bekommen, dann noch selber eindecken... Reservierung beim Kellner nicht möglich (es sei denn man ist Stammgast)! 30 Min. vorm Abendbuffet kann man mit Kindern bereits Platz nehmen, große Tische waren trotzdem schon belegt.
