 Complete the following phrase:  The Folland Gnat was a British private venture design for a light fighter and was the product of Teddy Petters theories about fighter aircraft design. Although only adopted by the UK as a trainer, the Gnat served successfully as a fighter for the Indian Air Force and was in service from 1959 to 1979. India produced an improved derivative of it, the HAL Ajeet. With an empty weight of 2,177 kg 4,800 lbs it was the lightest successful post-World War II jet fighter, though at the cost of shorter range compared to other fighters. The Gnat is credited as having shot down seven Pakistani F-86s in the 