Leases (Lease Cost) (Details) - USD ($) $ in Thousands	3 Months Ended		9 Months Ended
	Sep. 30, 2023	Sep. 30, 2022	Sep. 30, 2023	Sep. 30, 2022
Leases [Abstract]
Lease cost	$ 10,122	$ 11,299	$ 30,448	$ 33,649
Cash paid for amounts included in the measurement of lease liabilities reported in operating cash flows	11,403	11,082	33,247	33,128
Right-of-use assets obtained in exchange for new lease liabilities	$ 6,543	$ 1,527	$ 14,489	$ 21,729