So, after reading and hearing all about the 901 and 915 gearboxes, who actually made them? Were they made by Porsche or something like ZF?

Erick