kaptenen i norska armén Petersen,