Quarterly report pursuant to Section 13 or 15(d)

Operating Leases - Additional Information (Detail)

v3.19.3
Operating Leases - Additional Information (Detail)
€ in Thousands, $ in Thousands
1 Months Ended 3 Months Ended 9 Months Ended
Oct. 31, 2019
EUR (€)
Oct. 31, 2019
USD ($)
Oct. 31, 2019
USD ($)
Feb. 01, 2019
USD ($)
Leases [Abstract]        
Operating lease right-of-use assets   $ 2,438 $ 2,438 $ 1,700
Operating lease liability   2,567 2,567 $ 1,700
Rent payments € 8,000 $ 200 $ 600