I am getting upset now.... Apt-get is again segfaulting!
Now I do apt-get update and it segfaults again!!! Grmbl. -- Jan Evert