Germany-France arms export pact