krigshögskolans lärare och elever,