Krigshögskolans julferier äro ,enligt