Miroslav Hrdlička (1930 - 2023) - Zeměměřič