Bavarian Pork Knuckle with Rotkohl