Onkel Otto is a restaurant.