German Pork Schnitzel With Mushroom Sauce