[13-05] Duits groeicijfer is belangrijke plus voor Europa