Bayernfauna: Heuschrecken_bayern: Familie Myrmecophilidae