Ditomus tricuspidatus F., 1792