‘Total mobilization’: Strasbourg bans public demos amid massive manhunt for Christmas market gunman