Kann es sein, dass die Short-Position von Ethena automatisch deleveraged wird?