majoren Gripensvärd och 8,000 kr.