pork chops in onion sauce - german recipe