German arms exports hit record high in 2019 despite domestic calls for limits