Leases (Schedule of lease costs) (Details) - USD ($) $ in Thousands	3 Months Ended
	Mar. 31, 2023	Mar. 31, 2022
Leases [Abstract]
Operating lease cost	$ 920	$ 1,308
Short-term lease cost	2,181	3,536
Total lease cost	3,101	4,844
Capitalized costs included in short-term lease costs	$ 600	$ 500