sålunda af 142,000 maninfanteri