i gasverket omkring 12,000 kr.