Krupp sysselsätter ungefär 8,000 arbetare,