Fuchs im Hofmanns is a restaurant.