discontinuously operating mixing devices