Johann Ludwig Christian Gravenhorst, the first director of the Museum of Natural History, University of Wroclaw, and his collection of Ichneumonidae