Degassing of ships