La especie tipo es: "Hornungia petraea"