Packages introduced, some remarks added, several renames.