Grube, Georg Heinrich Ludolf