von Holten ; kaptenen i norskageneralstaben