@Mc Stender: Danke für den Tip mit https://www.catcar.info - jetzt weiß ich zumindest schonmal, daß das original verbaute Teil höchstwahrscheinlich ein JR5-156 ist.

Vielleicht findet sich ja noch jemand (oder eine Webseite), die weiß, welche Getriebe damit direkt kompatibel sind.