Die Corona-Krise hatte im April zunächst nur leichte Auswirkungen auf die Beschäftigtenzahl in der Industrie gehabt. Im Verarbeitenden Gewerbe…