original as Cyatholaimus micoletzky Steiner 1916, nomen nov. by Steiner 1916 as C. buikensis since C. micoletzky ... [details]