År 1872 voro våra ordinariemilitärutgifter