infanteriregementen kosta alltså lika mycket som 15 pansarfartyg.