Motoren & Motorteile, Hochdruckpumpe für MINI MINI (F56)