Employee Benefit Plans Employee Benefit Plans 9 (Details) - Pension Benefits - USD ($) $ in Thousands	12 Months Ended
	Dec. 31, 2019	Dec. 31, 2018
Employee benefit plans
Employer contributions	$ 3,913	$ 6,012
Expected future employer's contribution	$ 3,300