Gabriel Koch — German entomologist