Title: Pocket catalogue of pumping machinery