stäld inrättning , benämnd roterande pumpmaskin.