Abbreviations as in Table 1 and 4.