New Lavie: Win10 is running OK. Installing debian9.9.0 amd64 failed because of DVD disk error. Partiion erased using Win10 utitlity, and 2nd istallation proceeded OK, but dual boot is not realized, probably because of the remains of the first failed installation. Bootable mini-tool cannot run correctly probabably because the disc is just for ++-