Microsoft will bis Dezember einen Nachfolger für Ballmer bestimmen