Original: Lenzburg has a total workforce of around 6,000 .
Simplified: About 6,000 people work in Lenzburg .