Nem tévedés, így egyszerűen, Bátori. A Hárshegy (korábban Bátori hegy) nyergében található barlang feltárása a 19. században kezdődött. A középkor óta feledésbe merült barlangot a század közepe felé fedezte fel egy Tomola Nándor nevű kereskedő. A kor egyik tudósa, Szabó…