Platytaeniodus degeni Boulenger,1906