Merge branch 'jt-full-disk-encryption' into 'develop'

Add information on full disk encryption

See merge request R3/howto-cards!497

external/integrity/encryption/disk/encryption_disk.md

@@ -45,4 +45,5 @@ The steps to enable **BitLocker** are as follows:
 
 In case you want to change your start-up PIN, you can do this by   going to **Control Panel/BitLocker Drive Encryption** and then selecting **Manage BitLocker**, and then from the available options select **Change PIN**.
 
+For further information on full disk encryption, please follow the user guide [article KB0011673 in ServiceNow](https://service.uni.lu/sp?id=kb_article_view&sysparm_article=KB0011673).