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