A new appendix, and changed acknowledgements to section*