Trumpf koopt laserdiode-divisie Philips