Electric ironing machines; Ironing machines for clothing; Ironing machines for textile articles; Machines for treating household and industrial linen