A stripping pump is fitted in the pump room so that