French troops invade Luxembourg.