Kešeľova diera pri Vernári – najväčší ponor v Slovenskom raji - Miháľ, František