20080720 unknown: What is windfall tax?