Gas production from dredged sediment. (15th February 2019)