Which occurred earlier, Operation Grenade or Lorraine Campaign?