tjenstledighet af kapten Otto Petersén.