distriktsingeniör i vestra distriktet,