German arms exports – what you need to know