Thanks for your help, David. But to boot the machine from a live CD I will have to pay a visit to the computing centre in Frankfurt anyway. So instead of running a diagnostic tool I am going to install the system from scratch, this time using a 64bit version.