Zirkulierende elektrische Kreiselpumpe, kleine multifunktionale Schlammpumpe für explosionsgeschützten Vakuumbergbau