I've got a NOS ATE one: 211 736 113 and a new Varga :https://www.gsfcarparts.com/652vg0130, the latter being 71-9 with servo according to GSF
Although the ATE one has that number printed on the box it doesn't seem to be a standard VW number - maybe it's a ATE one?