Zum Wilden Mann is a restaurant.