distriktsingeniÖrbefattningen i ofvannämnda distrikt.