tjenstemän och betjente äro flere , än mången arme , som wunnit bataljer : de äio nemligen 13 , 00.