och intendenturtjenstemän , och af 80,000 kr.