20130904 removed: Microsoft buys Nokia for $7.2 billion