Leases - Weighted average lease term and discount rate (Details)	Sep. 30, 2023	Dec. 31, 2022
Leases
Weighted average remaining lease term in years	3 years 6 months 10 days	4 years 1 month 20 days
Weighted average remaining lease term in years	1 year 6 months	2 years 3 months
Weighted average discount rate	5.50%	5.50%
Weighted average discount rate	6.40%	6.40%