Tapolca, a barlangokra épült magyar város