Gasthaus Zum Hirsch is a restaurant.