upprepade gånger med petroleum och genom att , när rosten lossnat , gnida fläcken med en yllelapp och varm stenkols- eller bokaska hvarefterman