Braised Pork Cheek Stew, Spaetzle, Pickled Onion