A long history in a short note—identity and typification of the name Hippion obtusifolium F.W. Schmidt, and synonymy of the species Gentianella obtusifolia (Gentianaceae)