German arms export halt