embetsman , som hast ledningen af reparationsarbetet,