which of the following is the major stock market index in Germany?