Dobsinai jégbarlang, Szlovákia