Danke Pikachu, der Tip war gut.

Ich konnte meiner Partition allerdings nur 800 MB zusätzlich zuweisen. Rechnerisch müsste ich aber 1,5 GB mehr zur Verfügung haben?