Dresden je nach Quelle zwischen 25.000 und 50.000. Freut mich besonders.