Gasthaus Schatzinsel is a restaurant.