German arms exports almost doubled in 2015