Microsoft erhält Milliardenauftrag vom Pentagon