Hallo Oliver,
Du hast recht, dass die Bezeichnung "Productus horridus" nicht mehr gültig ist. Sofern ich mich recht entsinne ist heute Productus der entsprechnde Ordnungsname und die Bezeichnung "Horridonia horrida" die Gattung. Ich glaube es werden insgesamt sechs oder sieben Variationen (u.a. geranus, bufoninus, initialis, hoppianus; = Arten?) im Geraer Zechstein unterschieden.
Solltest Du Informationen diesbezüglich ins Lexikon einpflegen wollen, so empfehle ich Rücksprache mit "Hrouda" (hier im Forum), er ist Vorsitzender des Geraer Mineralien- und Fossilienvereins und Kenner der dortigen fossilen Fauna und Flora. Ich habe mich schon länger nicht mehr mit Fossilien beschäftigt und bevor etwas falsch vermerkt wird .... Die Productiden stellen schließlich wichtige Leitfossilien im Zechstein dar.
Glück Auf!
Micha