Пенсия и двойное гражданство

Девочки, может кто знает...не дай Бог, конечно...
умер пенсионер с двойным гражданством. Россия и Израиль. Произошло это в Израиле.в России была пенсия по инвалидности. Что теперь и как надо предоставить в ПФР России, чтобы прекратили выплачивать пенсию? С учётом того, что свидетельство будет на иврите и попадет ли оригинал в Россию большой вопрос...
Завтра я конечно позвоню в ПФР, но вдруг...