Het is even knipperen met de ogen. Vierhonderdduizend. Zoveel banen is Duitse industrie kwijtgeraakt tussen 2019 en 2025, puur en alleen als gevolg van het Chinese handelsbeleid.