"726653" . . "712715" . _:b76711234 . . "Erilepturus tiegsi sensu Manter, 1969 non Woolcock, 1935" . . "Erilepturus tiegsi" . . . . "sensu Manter, 1969 non Woolcock, 1935" . . . "Erilepturus tiegsi" . _:b76711234 "726653" . _:b76711234 . _:b76711234 . _:b76711234 "WoRMS id" .