norska försvarsbudgeten äro , som vanligt , uppförda 20,500 kr.