German-Iranian gunman kills nine in Munich shopping mall