for degaussing vessels