"Everything was great. Only down side was we paid 18€ each for breakfast buffet (breakfast until 10 am) and they explained that the patries were ordered based on how many people pay. When we showed up for breakfast at 9am, there was not enough pastries for us because the people before us took too many (according to what the receptionist said) and nothing was done to compensate.
So anyone can come first and eat all of the pastries at once and if nothing is left for the other guests who also paid...