Počiatky a vývoj tatranského názvoslovia - Houdek, Ivan