Blue Coat für 1,3 Milliarden verkauft