Welche Restaurants gibt es neben dem Buffetrestaurant im Hotel und wie oft kann man diese kostenfrei nutzen?