Petronella — female given name