Real Estate (Key Information for Leases) (Details)	3 Months Ended
	Mar. 31, 2023
Lessor, Lease, Description [Line Items]
Weighted average remaining lease term	10 years 3 months 18 days
Minimum
Lessor, Lease, Description [Line Items]
Initial lease term	10 years
Maximum
Lessor, Lease, Description [Line Items]
Initial lease term	20 years