Text this: Did investors seeking short exposure move to the CDS market after the 2011 short-sale bans in European financial stocks?