Isotype of Isoetes tuerckheimii Brause [family ISOETACEAE]