A Baradla-barlang első térképét 1794-ben Sartory József készítette