Germany: Bundeswehr troop numbers reach 13-year high