Fixed it. :riding:
After fitting the new oil seal, I test-installed the (new) pumpshaft. Getting the shaft in is not very easy because the shaft does not have a nice chamfered edge so I lubed everything with oil and installed the shaft by turning and gently pressing. The first time went well. Tried a 2nd time, and I immediately pushed the seal out again. Apparently the seal was not tight enough in the housing. The seal ring is 6 mm high, with round edges so you have only like a 5mm mating surface. Perhaps my pump housing is a bit large or the seal is a bit too small but anyway; if you push out the seal ring this easy, there's a fair chance this happens when installing the shaft for real. And you will not see or feel you pushed the seal out while assembling the shaft, you only know that it's wrong after you pour the oil in it.
So I changed the procedure a bit:
- Glued in the oil seal with a dreibond and let it dry overnight
- I made a bushing 4.5 mm high from a piece of aluminum pipe. It fills the gap between the oil seal and the coolant seal. The coolant seal is really tight, so the oil seal is well supported and can not get out. I provided a leak hole in the bushing. And installed it with dreibond to prevent it from rotating.
- Next I pushed the shaft through the oil seal and checked if it stayed in place.
- Finally I installed the coolant seal and pulled through the shaft the final part.
Drove some 150 km by now, not a single drop. Happy! :-)
Thanks for all the help!