n) důlního měřiče.