Craspedocephalus trigonocephalus, Donndorff (1798)