Resize/move encrypted partitions in a dual-boot setup

Normally, at least using Gparted, the UUID of the moved/resized partition remains the same.
Actually using PARTUUID is perhaps even more robust way of specifying entries in /etc/fstab as it is resilient to formatting too.