Geschmorte Ochsenbäckchen, Polenta, Spätzle und Rotkraut