m) hlavního důlního měřiče,