Here’s how the world’s biggest hedge funds are shorting the heart of Germany’s economy