har utnämnt kontorschefen under danska marinministeriet , justitierådet N . B .Petersen