Germany and the Gulf region: Energy and arms deals