[gmd63]

To put it into context, 40 billion dollars is about 22,000 average lifetime earnings of a man in the US.