timer: a timepiece that measures a time interval and signals its end
timepiece: a measuring instrument or device for keeping time
degaussing: the process of making a (steel) ship's hull nonmagnetic by producing an opposing magnetic field