Ernst Gertner (German, ?–died after 1884)