Extensively rewritten.