20160723 world.europe: Munich operation ends; 10 dead including gunman