Duitse export op nieuwe recordhoogte.