Hallo Rayk,
versuche mal Nummern auf dem Gehäuse bzw. der Wasserpumpe außen zu finden und poste die hier. Ich habe noch ausgebaute kleine Pumpe bei der Hand und eine große soeben eingebaut, vielleicht kann man anhand dieser Nummern dann was rausfinden.

Gruß Johannes