20150225 world.europe: 9 dead including gunman in Czech restaurant shooting