Duitse economie groeit nog flink in derde kwartaal