Pumps [machines]; pulp pump; mine drainage pumps; centrifugal pumps; oil pump for petroleum (oil-well pumps for petroleum industry); aerating pumps for aquaria; hydraulic pumps; vacuum pumps [machines]; hand-held tools, other than hand-operated; lubricating pumps