Restaurant Gasthaus Gasthaus, a traditional eatery with roots dating back to the 17th century.