In divestiture worth EUR 41 billion in the Lafarge Holcim merger