I have here three conflicting spellings for a species of Halticosaurus, all of which appear in the literature here or there. Can someone let me know which is correct? H. liliensternus H. liliensterni H. lilliensterni Thanks in advance! -Mikiel