Pentagon streicht milliardenschweren Cloud-Auftrag an Micros