Doesn't the OTCQX trade on the German Stock Exchange? That's like the wild west of shorting I here is it not.