Should Germany buy Gripen or Rafale?