Leases (Supplemental cash flow information related to leases) (Details) - USD ($) $ in Thousands	3 Months Ended		9 Months Ended
	Sep. 30, 2023	Sep. 30, 2022	Sep. 30, 2023	Sep. 30, 2022
Leases [Abstract]
Operating cash flows for operating leases	$ 818	$ 1,201	$ 2,655	$ 3,584
Operating cash flows for finance leases	6	44	43	162
Financing cash flows for finance leases	$ 542	$ 936	$ 2,468	$ 2,785