Note 19 - Leases - Lease Cost (Details) - USD ($) $ in Thousands		3 Months Ended	6 Months Ended
		Dec. 31, 2019	Dec. 31, 2019
Operating lease cost	[1]	$ 3,120	$ 5,961

[1] Includes short-term leases and variable lease costs, which are immaterial.