direktören och chefen förmariningeniörstaten