Translation of "Ersatzstift" in English