Employee Benefits (Schedule of employer contributions and benefit payments) (Details) - USD ($) $ in Thousands		12 Months Ended
	Aug. 14, 2018	Dec. 31, 2019	Dec. 31, 2018
Employee Benefits and Share-based Compensation, Noncash [Abstract]
Defined Benefit Plan, Plan Assets, Contributions by Employer	$ 570		$ 570
Defined Benefit Plan, Plan Assets, Benefits Paid		$ 503	$ 453