Dessa operationer — heter det vidare—