Should this be used in addition to the normal washing liquid, in the washing-machine, or instead of it? (The instructions don't quite make that clear.)