Comité Europeu de Normalização Electrotécnica, CENELEC (nome próprio)