garnison , under vanliga förhållanden högst 2000 maD , utgör nu mor än 10,000 man.