[rwth-security] BSI: Microsoft veröffentlicht vertiefende Informationen zu Double-Key-Encryption