betydlig truppstyrka i grufdistriktet.