Key Management in the Age of Isolation: A Retrospective Analysis of SIMATIC Key Installer 2012 for TIA Portal Licensing