Nederlands lengtekrimp Frans retrait en longueur (m) Duits Längskrumpf (m) Engels warp shrinkage