Germany announces ban on arms exports to Saudi Arabia