Wurde der Großinvestor $JCT mit seiner Short-Position noch nicht liquidiert?