anslås , efter afdrag af hvad korpsen skulle hafva kostat på fredsfot i sina garnisoner , till 13 millioner.