* Large part of an appendix to thesis.