af allmän tjenst och 6,000 kr.