(Deutscher Aktienindex (German stock index)