After removing the door lock it was clear what was broken - one of the three black pins about which various levers rotate:

68518

Got a price of $110 from a local breakers for a second hand one....