German Arms Exports Hit Record High Amid Criticism Over Policy Shifts