RRJ bietet vier Milliarden für Ingram Micro