Petronilla de Gendt (~1822-)