EDP’s market capitalisation