@Stephen: you were right. Additional problems led me to do another reinstall, which did not boot because of a bad sector in the vmlinuz. So I think I need to buy a new harddisk.
@Stephen: you were right. Additional problems led me to do another reinstall, which did not boot because of a bad sector in the vmlinuz. So I think I need to buy a new harddisk.