att till fyllnad i aflöningen vid disciplinkompaniet anslås 5,000 kr.