mindre än 800 tyska fabriksarbetare.