Es dürfen also 11.000 bis 17.000(?) Menschen in Berlin