Ernst Gustav Gottlob Rümelin — German jurist and judge