Grupo Red Eléctrica is now Redeia. Valuing the essentials