gaswerket och 6.000 kr.