smoked ham hocks (Eisbein) • onion, roughly chopped (skin on) • celery stalks, roughly chopped • carrot, roughly chopped (skin on) • garlic, crushed (skin on) • bay leaf • black pepper corns, crushed • water • butter • onion, small dice • carrot, small dice • white wine •