'Correct' temperature to wash bedding at to kill dust mites and bacteria - not 40C

Washing bedding is a weekly chore for many, and in order to kill bacteria and dust mites, they must be washed at the "correct" temperature.