för brukets tjänstemän , 5,000 kr.