Gasthaus Tengerholz is a restaurant.