Ist ein Hygienenspüler notwendig wenn ich Wischmop und Badeteppiche (empfohlene Waschtemparatur 40) auf 40 Grad Celsius zu waschen oder regelt für die Abtötung von Bakterien das Waschmittel?