Elektroexporte knacken erstmals 100-Milliarden-Euro-Grenze im Halbjahr