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
Lease, Cost [Abstract]
Operating lease cost	$ 10,481	$ 10,058	$ 31,711	$ 31,512
Variable lease cost	388	462	1,836	1,327
Short-term lease cost	8,167	7,567	23,597	18,296
Sublease income	(791)	(69)	(2,432)	(206)
Total lease cost	$ 18,245	$ 18,018	$ 54,712	$ 50,929