a) důlní měřictví nebo geodézie,