In April 2014, it was announced that GE was in talks to acquire the global power division of French engineering group Alstom for a figure of around $13 billion. How big was the stake in Alstom taken by the French government as part of the acquisition deal?