Mit welcher Temperatur tötet man Milben beim Waschen?

Ich möchte eine Decke waschen bei der ich denke sie sei von Milben befallen. Auf welche Temperatur muss ich die Waschmaschine einstellen? Reichen 30 Grad oder muss ich die Decke kochen?