Germany halts arms exports to Saudi Arabia: report