Germany’s arms sales reach ten-year high