I curious to what they are refering to as automatically double-declutching and how that affects the manual downshift procedure by the driver... wasn't that a technique needed back in the old days when gearboxes didn't have syncros? 


--