Taxonomic name: Keroplatus tipuloides (Classification)Distribution after: State of knowledge of the occurrence of Keroplatus tipuloides (Bosc) in Europe, with first records from Germany (Diptera: Keroplatidae)