Grotta di Dobšiná, tra le più importanti al mondo: le curiosità