Riesending-Höhle: Verunglückter Höhlenforscher erfolgreich gerettet