Leases (Lease expense for the operating and short-term leases) (Details) $ in Thousands	3 Months Ended
	Mar. 31, 2019 USD ($)
Operating lease expense	$ 1,265
Short-term lease expense	170
Total lease expense	$ 1,435