Export Duitse auto's stijgt 4 procent naar 4,2 miljoen