Germany’s short-selling ban misses the point