Dresden starkt och anwänder dertill 7,000 arbetare.