I guess I stay with my current mobile operator after all (I decided to leave them as the phone I bought from them didn't get fixed even though it is under warranty, and I had to even pay 35€ for the mere info that it doesn't make sense to fix it (172€ to fix it, the same phone new costs 129€)).
I had already an contract with the new operator and my number was supposed to move to their SIM last day of this month, but now the old operator called me on order to learn why I am changing operator. I explained the hassle with the phone, he said they would compensate it by offering the 4G mobile contract for a lowered price of 17.90€ (the offer from their competitor was 22.50€/months or so), so yeah, I guess I decided to stay.
I guess the lowered charges will compensate somewhat the phone episode. Nice how well the competition works between mobile operators here. I don't know how it is in other countries, but here your phone number will not change even if you change operator, so swapping to a competing operator (due to cheaper prices or whatever) is quite easy and smooth.
Oh and another thing: as I was trying to rip my Robocop DVD to a nice MKV video file, I learned that hey, my laptop's internal DVD-RW drive is apparently broken. It couldn't read any disc I put in there.
Oh well, I did what I've been meaning to do for a long time anywway, I went to buy an external USB DVD-RW drive (the cheapest I could find, Fujtech 19.90€). I use optical drives so rarely anyway so that it is ok it is an external one that I only occasionally connect to the PC.
The external DVD-writer seems to work fine, I was able to easily rip the DVD with MakeDVD, even including the extras. The only thing I don't understand is that there was also some big over 4GB "title04.mkv" file created which seemed to be the extended version of Robocop... but all the chapters were out of whack, like that it started from the ED-206 presentation at OCP, then continued with the start of the movie, and other chapters seemed also in wrong order.
I have no idea why that video file was produced because as far as I can tell "title05.mkv" is the original version of Robocop, while "title06.mkv" is the extended edition with the extra scenes. Both of those are almost 1GB smaller than that title04.mkv. Then there were a number of other mkv files produced too, the extras like making-of video and such.
I didn't see the point of keeping that odd "title04.mkv" file, so I deleted it. Any idea what that is all about?