Segment Information (Narrative) (Details1) - Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2019-10-01 $ in Billions	3 Months Ended
	Sep. 30, 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.5
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