Diplocyathellus new name for the archeocyathid Diplocyathus Debrenne, 1974, not Allman, 1888. Journal Paleont, 51(6) 1977: 1222. 1222 [Zoological Record Volume 114]