Slightly shortened and improved section 2.