"Dicliptera krugii" . . . .