Nur mal kurz für alle Interessierten, die Ihre Bootcamp Partition vergrößern wollen. Das geht am besten mit Camptune, welches allerdings in der aktuellen Version 19 $ kostet.
Mit dem Release Candidate geht es allerdings auch. Ihr könnt ihn hier herunterladen,