Rothilde — female given name