Several hours later... I think I found my new laptop (plus external BR/DVD/CD writer + bag from a different company): barebones, choosing options more from the high-end range, and (yes!) *without* Windows - until a few days ago I didn't even know such a critter existed! Basically, this: https://www.laptopplus.nl/producten/13-3-inch-topstar-u931-ultrabook (*plus* various options the machine is still just under €1000 incl. VAT)