**Abbreviations**

All other abbreviations have their usual meaning, or are sufficiently explained in the text.


