German economy stagnates in 3rd quarter, as widely expected