DAX made new all-time highs while Germany's economy is not doing great at all.