Leases (Minimum Future Rentals On The Non-Cancellable Operating Leases) (Details) $ in Millions	Dec. 31, 2019 USD ($)
Leases [Abstract]
2020	$ 186
2021	179
2022	177
2023	170
2024	167
2025 and thereafter	1,072
Total minimum future rentals	$ 1,951

No definition available.

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

- Definition

Future minimum rental payments in aggregate as of the balance sheet date under operating leases.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 840
-SubTopic 20
-Section 50
-Paragraph 4
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=84164653&loc=d3e41551-112718

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsReceivable
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Future rental payments receivable within one year of the balance sheet date under an operating lease.

+ References

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsReceivableCurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Future rental payments receivable within the fifth year from the balance sheet date under an operating lease.

+ References

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsReceivableInFiveYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Future rental payments receivable within the fourth year from the balance sheet date under an operating lease.

+ References

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsReceivableInFourYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Future rental payments receivable within the third year from the balance sheet date under an operating lease.

+ References

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsReceivableInThreeYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Future rental payments receivable within the second year from the balance sheet date under an operating lease.

+ References

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsReceivableInTwoYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Future minimum lease payments receivable under operating leases for periods greater than five years following the balance sheet date.

+ References

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsReceivableThereafter
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant