Disk-Verschlüsselung in Linux wird schneller