[Tristan Lall]

There's a bit here.

By the way, the gears are 0.8 module (metric), which is equivalent to 31.75 pitch, and will mostly work with 32 pitch gears for our purposes. Also, since it's metric, the pressure angle is very likely 20°.