German military: 200 soldiers classified as far-right extremists since 2008