Najstaršie písomné zmienky o jaskyniach Demänovskej doliny - Lalkovič, Marcel