Kühlung, Zusatzwasserpumpe für BMW