Zum Storchen is a restaurant.