Short selling and certain aspects of credit default swaps with regard to definitions and the calculation of net short | GovLens