Where does “pomp” come from?

pomp (Afrikaans) comes from Dutch pomp, from Middle Dutch pompe — device for raising water, pump; pipe, water...

pomp (Afrikaans): pump device for moving liquid or gas