grufingeniör i Östra bergmästaredistr.