Pork schnitzel and mushroom gravy with Rotkohl (braised red cabbage) and Spätzle (German pasta)