Olympus miniETD2 PAA washer-disinfectors, manufactured since August 2013 and Olympus miniETD2 PAA and ETD3 PAA washer-disinfectors that have been replaced since August 2013 by the DOS3 pump