Was this traded on the berlin exchange? I'm told that one can short the good hell out of anything there.. also, Most non US brokers allow one to short without the $2.50 I think