German Stocks closed at a new all-time high today