att ordinarie anslaget till disciplinkompaniet måtte upptagas till 75,000 kr.