kronans tjenst skadade kronoarbetskarlar , och 7,126 kr.