Tijdelijk exporteffect door TrumpDuitse economie groeit sterker dan verwacht, maar geen jubelstemming