Protective clothing – Garments for protection against cool environments – Dimensional change due to cleaning