twtee.co.uk suggestion:

 wash by hands is the best option, everybody knows.. if you are in a hurry though, stop panicing, put it inside out at 30 degrees in the washing machine and prepare a peppermint tea in the meantime, relax¡ before ironing inside out once again.

And remember, do not tumble dry,

 it is care.