What tax revenue ? Aren't they all declaring their profits in Ireland (a tax haven) ?