Zurzeit heißt es im Artikel, in Dresden seien "ca. 421" Mitarbeiter beschäftigt. Diese Zahl scheint aber (bezogen auf den Stichtag) sehr exakt und nicht "circa" zu sein. -- Lothar Spurzem 13:08, 5. Jan. 2012 (CET)