Leases (Details 1) - USD ($) $ in Thousands	3 Months Ended	6 Months Ended
	Jul. 31, 2019	Jul. 31, 2019
Leases [Abstract]
Operating lease cost, cost of goods sold	$ 144	$ 289
Operating lease cost, operating expenses	119	238
Short-term lease cost	$ 88	$ 124