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