Leases, Information Related to Operating Leases (Details) - USD ($) $ in Thousands	3 Months Ended		12 Months Ended
	Mar. 31, 2020	Mar. 31, 2019	Dec. 31, 2019
Cash Paid for Amounts Included in the Measurement of Lease Liabilities [Abstract]
Operating Cash Flow from Operating Leases	$ 197	$ 196	$ 783
Right-of-Use Assets Obtained in Exchange for New Operating Lease Liabilities	$ 0	$ 4,729	$ 5,645
Weighted-Average Remaining Lease Term - Operating Leases	7 years 8 months 5 days	7 years 8 months 12 days	7 years 10 months 17 days
Weighted-Average Discount Rate - Operating Leases	3.20%	2.80%	3.20%