The genus Trichotichnus Morawitz, 1863