rådet Johansen ( chefen för marin- och postdepartementet;