Microsoft, via altri 9mila dipendenti nonostante utili record