utnämnts kommendören Ingelman , som förordnats att från den 1 oktober t. vara chef för marinförvaltningen.