Did Bernhard Riemann have any children?