Many thanks for all the suggestions. For me, the update.packages command will not work behind the firewall at my workplace. But the respondents have given me more than enough suggestions to work with.