I would have to check if it has an alias name; I grow German Extra Hardy every other year, I think that's different. I also grew Polish Hardneck.
Last fall I planted a lot of Asiatic/Turban types (Creole Red, Burgundy, Labera Purple, Cuban Purple, Wonha, etc.)
While I'll be at our Tomato...