Gernsheim, Friedrich (1839-1916)