Vielen Dank!
Das hat wunderbar geklappt. Deinen Vorschlag hatte ich ja schon im o.g. Link gefunden - aber da auf der angegebenen Webseite immer nur von SysPartition VERGRÖSSERN die Rede ist, war ich misstrauisch. Um so mehr, als mir vor zwei oder drei Jahren mal ein Versuch, Partitions zu ändern, in die Hose ging (welches Programm ich da verwendet habe, weiss ich nicht mehr).
Um so schöner, dass jetzt alles einwandfrei gelaufen ist!