HP übernimmt Palm für 1,2 Milliarden USD