Coal industry and trade of Netherlands; [by Eugene W. Nabel].