WABCO 4324100210 Lufttrockner, Druckluftanlage für IVECO