Ich kann von der Recovery-Partition starten. Am liebsten würde ich die Verschlüsselung via Terminal fortsetzen. Finde aber leider Lösungen für decryptVolume oder encryptVolume – nix mit resume. Das wäre aus meiner Sicht die einfachste Lösung. Der Status ist "Paused", weil bisher nur 19% verschlüsselt sind.

Die Alternative wäre FileVault zum laufen zu bringen. Prinzipiell scheint das möglich zu sein. Es schien mir nur die aufwändigere Variante. Mal sehen …