Klimarettssaken: Omfatter §112 den norske utslippseksporten?