Microsoft streicht nach Nokia-Kauf weitere 7.800 Stellen