chefen för krigshögstolan Carl Otto Nordensvan.