Den i Berlin mi bcstntliga garnisonen är25,000