Jetzt sehe ich gerade - FileVault hat wohl nur die OS-Partition und nicht ...
die User-Partition verschlüsselt. Was für ein Mist, 2 Partitionen. Ich weiß nicht welches Fass ich öffne, wenn ich die Partitionen zusammenführe, aber irgendwie scheint mir das alles nicht sehr geschickt gelöst zu sein ...