Here’s why a new all-time high for German stocks is great news for the S&P 500