Leases (Lease Cost) (Details) - USD ($) $ in Thousands	3 Months Ended		6 Months Ended
	Jun. 30, 2023	Jun. 30, 2022	Jun. 30, 2023	Jun. 30, 2022
Leases [Abstract]
Lease cost	$ 10,138	$ 12,152	$ 20,326	$ 22,351
Cash paid for amounts included in the measurement of lease liabilities reported in operating cash flows	11,281	11,054	21,844	22,047
Right-of-use assets obtained in exchange for new lease liabilities	$ 2,633	$ 2,933	$ 7,946	$ 20,202