Обязательно ли менять имя, чтобы дать ребенку гражданство?

#1
Здравствуйте. Дочь уехала жить в Германию еще в 2004 году. Получила второе гражданство. Сменила имя Людмила ни Милла и отказалась от отчества, так, как у них такого нет. Муж ее русский и имеет гражданство только РФ. Она родила там дочь и хочет дать ей гражданство РФ. Скажите, обязательно ли менять имя ребенку, чтобы дать гражданство РФ?Если да, то какие для этого нужны документы?