Nokia: Bis zu 10.000 Mitarbeiter müssen gehen