Deluxe Ochsenschwanzsuppe (Ox Tail Soup)