Dell Technologies veräussert Boomi für 4 Milliarden US-Dollar