den nya krigshögstolan i Stockholm,