Commitments And Contingencies (Narrative) (Details) $ in Millions	Jun. 30, 2020 USD ($)
Loss Contingencies [Line Items]
Unrecorded Unconditional Purchase Obligation	$ 3,015
Liability for Uncertainty in Income Taxes, Noncurrent	$ 291

Amount recognized for uncertainty in income taxes classified as noncurrent.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02.24)
-URI http://asc.fasb.org/extlink&oid=120391452&loc=d3e13212-122682

+ Details

Name:	us-gaap_LiabilityForUncertainTaxPositionsNoncurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table.

+ References

No definition available.

+ Details

Name:	us-gaap_LossContingenciesLineItems
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of the unrecorded obligation to transfer funds in the future for fixed or minimum amounts or quantities of goods or services at fixed or minimum prices (for example, as in take-or-pay contracts or throughput contracts).

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 440
-SubTopic 10
-Section 50
-Paragraph 4
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=121559207&loc=d3e25336-109308

+ Details

Name:	us-gaap_UnrecordedUnconditionalPurchaseObligationBalanceSheetAmount
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant