sedan utgjorde Berlins folkmängd icke en gäng en half million.