Ragoût de porc allemand, purée de pommes de terre et chou aigre