I finally got my broken Grub configuration fixed. Booting Windows from Grub wasn’t very hard back in the days, but the old “version” doesn’t work with the newer UEFI-typed computers. Now… looking at it… it does not look very complicated either ;-)