US-Konzern kauft Frauscher Sensortechnik für 675 Mio. Euro