The name that became common in travel books and other literature in the 19th century, however, is its current name, linking the mountain to the village of Gerlachov (Carpathian German: Gerlsdorf)) at its foot. It echoed the oldest known undifferentiated reference to the peaks on or near Gerlachov's municipal lands, "Gerlachfalvenses montes" (Latin with Hungarian elements for the "Gerlachov Village Mountains"), in a drawing of the High Tatras from 1717. It also paralleled the name "Gerlsdorfer Spitze" (Gerlachov Peak) used by the first person to identify it as the highest peak in the Tatras in 1838 (see below), which was rendered as "gerlachovský chochol" (Gerlach crest) in a Slovak version of his report in 1851. Several other mountains in the High Tatras have acquired their names from villages in the foothills.