@Mixtape @drdsgvo

Bzgl. Partitionierungstool fällt mir #GParted ein.

Wobei das möglicherweise vom ursprünglichen Thema wegführt... :-)