Service manual. Diesel electric pumps