Wird Gas an der Börse gehandelt?