HILTERMANNELLA, NUEVO NOMBRE PARA HILTERMANNIA BERTELS 1970 NON HOFKER 1954. AMGH 2013, 8 (2), 104.