Ziegenkopf is a restaurant.