Segment Information (Narrative) (Details1) - Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2020-01-01 $ in Billions	6 Months Ended
	Dec. 31, 2019 USD ($)
Segment Reporting Information [Line Items]
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Explanation	revenues are expected to be recognized primarily over the next one to three years
Revenue, Remaining Performance Obligation, Amount	$ 4
Minimum
Segment Reporting Information [Line Items]
Future Performance Obligation, Expected Timing of Satisfaction, Period	1 year
Maximum
Segment Reporting Information [Line Items]
Future Performance Obligation, Expected Timing of Satisfaction, Period	3 years