Vermutlich hätte eine Reparatur mit First Aid auch gereicht, denn solange die Platte nicht defekt ist, sollte partitionieren immer funktionieren.