Ist wohl von Kukko, dürfte neu weit über 200 Euro kosten.

Würde dann parallel auch mal nach dem originalen Sonderwerkzeug suchen, habe die Nummer leider nicht.