Leases (Details 1) - USD ($) $ in Thousands	3 Months Ended	9 Months Ended
	Oct. 31, 2019	Oct. 31, 2019
Leases [Abstract]
Operating lease cost, cost of goods sold	$ 53	$ 342
Operating lease cost, operating expenses	269	507
Short-term lease cost	$ 444	$ 572