Leases (Lease Cost) (Details) $ in Thousands	3 Months Ended	6 Months Ended
	Jul. 31, 2019 USD ($)	Jul. 31, 2019 USD ($)
Leases [Abstract]
Operating lease expense	$ 1,086	$ 2,160
Weighted average remaining lease term	11 years 2 months 26 days	11 years 2 months 26 days
Weighted average discount rate	4.37%	4.37%