Moved the section on restriction of scalars over local fields.