juli utgjorde hela fångantalet 4 , 085.