Wie wechselt man die Ausrückwelle bei einem Wartburg 1.3?

Wie kann ich die Ausrückwelle bei einem Wartburg 1.3 wechseln? Muss das Getriebe ausgebaut werden? Bitte um Hinweise oder um eine Beschreibung.

Die Ausrückwelle ist im Kupplungsgehäuse, und betätigt über eine Ausrückgabel das Drucklager, Getriebe muß raus.
http://www.trabantclubnordsee.de/assets/files/reparaturanleitung_wartburg_1_3.pdf
https://www.google.com/search?q=Wartburg+1.3++Getriebe+reparatur&client=firefox-b-d&source=lnms&tbm=vid&sa=X&ved=2ahUKEwjql4udrfzwAhVNgv0HHXI9A-UQ_AUoA3oECAEQBQ&biw=1024&bih=534&dpr=1.88