20080514 tech.tech-news: HP to buy EDS for $12.6 bn