20160723 world.europe: Munich shooting: German-Iranian gunman kills nine in shopping mall