Antalet af soldater i Europa , marinens inbegripna,