Kampf zwischen Dell und HP ist nun endlich vorrüber – HP hat ihn gewonnen