andyfreelandy, that explains it. Too bad the old pump went with the trash. Rewire stuff on the pump itself would be too much. But if I know the correct pins (from the 4) that come out of the pump I could rewire the connecting cable.
Thank you @Alteredtech, indeed WFX000190 and WFX000210. Was...